Auto merge of #2757 - alexcrichton:panic-profile-dox, r=brson
authorbors <bors@rust-lang.org>
Sat, 11 Jun 2016 01:32:24 +0000 (18:32 -0700)
committerGitHub <noreply@github.com>
Sat, 11 Jun 2016 01:32:24 +0000 (18:32 -0700)
commitaec2473f257545a09674eeb24ec8b3cf400339fb
tree67c3b5560ca7018860f0e300a38668aca75f2f0c
parent880fde5a4fe873a3f2978d60f1f75b6e84b64b58
parent87f98017860b5cd8f7856d112572d924a411accc
Auto merge of #2757 - alexcrichton:panic-profile-dox, r=brson

Document the `panic` profile option

Closes #2750